Перевод: со всех языков на все языки

со всех языков на все языки

produce proof

См. также в других словарях:

  • Proof (rapper) — Proof Proof in August 2005 Background information Birth name DeShaun Dupree Holton Born October 2, 1973 …   Wikipedia

  • proof — n [alteration of Middle English preove, from Old French preuve, from Late Latin proba, from Latin probare to prove] 1: the effect of evidence sufficient to persuade a reasonable person that a particular fact exists see also evidence 2: the… …   Law dictionary

  • Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… …   Wikipedia

  • Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… …   Wikipedia

  • Proof test — A proof test is a test wherein a deliberately overpressured round is fired from a firearm in order to verify that the firearm is not defective and will not explode on firing. The firearm is inspected after the test, and if it is found to be in… …   Wikipedia

  • proof — n. conclusive evidence 1) to furnish, give offer, present, produce, provide proof 2) ample, clear, conclusive, convincing, definite, incontestable, indisputable, irrefutable, positive, undeniable, unquestionable proof 3) documentary; mathematical …   Combinatory dictionary

  • Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… …   Wikipedia

  • proof — /proohf/, n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. anything serving as such evidence: What proof do you have? 3. the act of testing or making trial of anything; test; trial: to put a thing to… …   Universalium

  • proof — noun ADJECTIVE ▪ clear, convincing, direct, good, positive, real ▪ |Do you have positive proof that she took the money? ▪ We have proof positive that he is in hid …   Collocations dictionary

  • Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… …   Wikipedia

  • Proof calculus — In mathematical logic, a proof calculus corresponds to a family of formal systems that use a common style of formal inference for its inference rules. The specific inference rules of a member of such a family characterize the theory of a… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»